The operator may also be denoted by a backtick (`). ==Other instances== Function application in the lambda calculus is expressed by β-reduction. The Curry-Howard correspondence relates function application to the logical rule of modus ponens. ... Found on http://en.wikipedia.org/wiki/Function_application
The operator may also be denoted by a backtick (`). ==Other instances== Function application in the lambda calculus is expressed by β-reduction. The Curry-Howard correspondence relates function application to the logical rule of modus ponens. ...